Dfa to re